3.6.33 \(\int (d+e x)^m (c d^2 e g-e (c d^2+a e^2) g-c d e^2 g x)^{-1+m} (a d e+(c d^2+a e^2) x+c d e x^2)^{-m} \, dx\)

Optimal. Leaf size=78 \[ -\frac {(d+e x)^m \left (x \left (a e^2+c d^2\right )+a d e+c d e x^2\right )^{-m} \log (a e+c d x) \left (-a e^3 g-c d e^2 g x\right )^m}{c d e^2 g} \]

________________________________________________________________________________________

Rubi [A]  time = 0.15, antiderivative size = 78, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, integrand size = 73, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.041, Rules used = {891, 23, 31} \begin {gather*} -\frac {(d+e x)^m \left (x \left (a e^2+c d^2\right )+a d e+c d e x^2\right )^{-m} \log (a e+c d x) \left (-a e^3 g-c d e^2 g x\right )^m}{c d e^2 g} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[((d + e*x)^m*(c*d^2*e*g - e*(c*d^2 + a*e^2)*g - c*d*e^2*g*x)^(-1 + m))/(a*d*e + (c*d^2 + a*e^2)*x + c*d*e*
x^2)^m,x]

[Out]

-(((d + e*x)^m*(-(a*e^3*g) - c*d*e^2*g*x)^m*Log[a*e + c*d*x])/(c*d*e^2*g*(a*d*e + (c*d^2 + a*e^2)*x + c*d*e*x^
2)^m))

Rule 23

Int[(u_.)*((a_) + (b_.)*(v_))^(m_)*((c_) + (d_.)*(v_))^(n_), x_Symbol] :> Dist[(a + b*v)^m/(c + d*v)^m, Int[u*
(c + d*v)^(m + n), x], x] /; FreeQ[{a, b, c, d, m, n}, x] && EqQ[b*c - a*d, 0] &&  !(IntegerQ[m] || IntegerQ[n
] || GtQ[b/d, 0])

Rule 31

Int[((a_) + (b_.)*(x_))^(-1), x_Symbol] :> Simp[Log[RemoveContent[a + b*x, x]]/b, x] /; FreeQ[{a, b}, x]

Rule 891

Int[((d_) + (e_.)*(x_))^(m_)*((f_.) + (g_.)*(x_))^(n_)*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_), x_Symbol] :>
Dist[(a + b*x + c*x^2)^FracPart[p]/((d + e*x)^FracPart[p]*(a/d + (c*x)/e)^FracPart[p]), Int[(d + e*x)^(m + p)*
(f + g*x)^n*(a/d + (c*x)/e)^p, x], x] /; FreeQ[{a, b, c, d, e, f, g, m, n}, x] && NeQ[e*f - d*g, 0] && NeQ[b^2
- 4*a*c, 0] && EqQ[c*d^2 - b*d*e + a*e^2, 0] &&  !IntegerQ[p] &&  !IGtQ[m, 0] &&  !IGtQ[n, 0]

Rubi steps

\begin {align*} \int (d+e x)^m \left (c d^2 e g-e \left (c d^2+a e^2\right ) g-c d e^2 g x\right )^{-1+m} \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{-m} \, dx &=\left ((a e+c d x)^m (d+e x)^m \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{-m}\right ) \int (a e+c d x)^{-m} \left (c d^2 e g-e \left (c d^2+a e^2\right ) g-c d e^2 g x\right )^{-1+m} \, dx\\ &=\left ((d+e x)^m \left (c d^2 e g-e \left (c d^2+a e^2\right ) g-c d e^2 g x\right )^m \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{-m}\right ) \int \frac {1}{c d^2 e g-e \left (c d^2+a e^2\right ) g-c d e^2 g x} \, dx\\ &=-\frac {(d+e x)^m \left (-a e^3 g-c d e^2 g x\right )^m \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{-m} \log (a e+c d x)}{c d e^2 g}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.03, size = 64, normalized size = 0.82 \begin {gather*} -\frac {(d+e x)^m ((d+e x) (a e+c d x))^{-m} \log (a e+c d x) \left (-e^2 g (a e+c d x)\right )^m}{c d e^2 g} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[((d + e*x)^m*(c*d^2*e*g - e*(c*d^2 + a*e^2)*g - c*d*e^2*g*x)^(-1 + m))/(a*d*e + (c*d^2 + a*e^2)*x +
c*d*e*x^2)^m,x]

[Out]

-(((-(e^2*g*(a*e + c*d*x)))^m*(d + e*x)^m*Log[a*e + c*d*x])/(c*d*e^2*g*((a*e + c*d*x)*(d + e*x))^m))

________________________________________________________________________________________

IntegrateAlgebraic [A]  time = 0.39, size = 64, normalized size = 0.82 \begin {gather*} -\frac {(d+e x)^m ((d+e x) (a e+c d x))^{-m} \log (a e+c d x) \left (-e^2 g (a e+c d x)\right )^m}{c d e^2 g} \end {gather*}

Antiderivative was successfully verified.

[In]

IntegrateAlgebraic[((d + e*x)^m*(c*d^2*e*g - e*(c*d^2 + a*e^2)*g - c*d*e^2*g*x)^(-1 + m))/(a*d*e + (c*d^2 + a*
e^2)*x + c*d*e*x^2)^m,x]

[Out]

-(((-(e^2*g*(a*e + c*d*x)))^m*(d + e*x)^m*Log[a*e + c*d*x])/(c*d*e^2*g*((a*e + c*d*x)*(d + e*x))^m))

________________________________________________________________________________________

fricas [A]  time = 0.43, size = 35, normalized size = 0.45 \begin {gather*} -\frac {\log \left (c d x + a e\right )}{c d e^{2} g \left (-\frac {1}{e^{2} g}\right )^{m}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*x+d)^m*(c*d^2*e*g-e*(a*e^2+c*d^2)*g-c*d*e^2*g*x)^(-1+m)/((a*d*e+(a*e^2+c*d^2)*x+c*d*e*x^2)^m),x,
algorithm="fricas")

[Out]

-log(c*d*x + a*e)/(c*d*e^2*g*(-1/(e^2*g))^m)

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {{\left (-c d e^{2} g x + c d^{2} e g - {\left (c d^{2} + a e^{2}\right )} e g\right )}^{m - 1} {\left (e x + d\right )}^{m}}{{\left (c d e x^{2} + a d e + {\left (c d^{2} + a e^{2}\right )} x\right )}^{m}}\,{d x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*x+d)^m*(c*d^2*e*g-e*(a*e^2+c*d^2)*g-c*d*e^2*g*x)^(-1+m)/((a*d*e+(a*e^2+c*d^2)*x+c*d*e*x^2)^m),x,
algorithm="giac")

[Out]

integrate((-c*d*e^2*g*x + c*d^2*e*g - (c*d^2 + a*e^2)*e*g)^(m - 1)*(e*x + d)^m/(c*d*e*x^2 + a*d*e + (c*d^2 + a
*e^2)*x)^m, x)

________________________________________________________________________________________

maple [F]  time = 0.24, size = 0, normalized size = 0.00 \begin {gather*} \int \left (c d e \,x^{2}+a d e +\left (a \,e^{2}+c \,d^{2}\right ) x \right )^{-m} \left (-c d \,e^{2} g x +c \,d^{2} e g -\left (a \,e^{2}+c \,d^{2}\right ) e g \right )^{m -1} \left (e x +d \right )^{m}\, dx \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((e*x+d)^m*(c*d^2*e*g-e*(a*e^2+c*d^2)*g-c*d*e^2*g*x)^(m-1)/((c*d*e*x^2+a*d*e+(a*e^2+c*d^2)*x)^m),x)

[Out]

int((e*x+d)^m*(c*d^2*e*g-e*(a*e^2+c*d^2)*g-c*d*e^2*g*x)^(m-1)/((c*d*e*x^2+a*d*e+(a*e^2+c*d^2)*x)^m),x)

________________________________________________________________________________________

maxima [A]  time = 0.50, size = 32, normalized size = 0.41 \begin {gather*} -\frac {e^{2 \, m - 2} \left (-g\right )^{m} \log \left (c d x + a e\right )}{c d g} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*x+d)^m*(c*d^2*e*g-e*(a*e^2+c*d^2)*g-c*d*e^2*g*x)^(-1+m)/((a*d*e+(a*e^2+c*d^2)*x+c*d*e*x^2)^m),x,
algorithm="maxima")

[Out]

-e^(2*m - 2)*(-g)^m*log(c*d*x + a*e)/(c*d*g)

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {{\left (d+e\,x\right )}^m\,{\left (c\,d^2\,e\,g-e\,g\,\left (c\,d^2+a\,e^2\right )-c\,d\,e^2\,g\,x\right )}^{m-1}}{{\left (c\,d\,e\,x^2+\left (c\,d^2+a\,e^2\right )\,x+a\,d\,e\right )}^m} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((d + e*x)^m*(c*d^2*e*g - e*g*(a*e^2 + c*d^2) - c*d*e^2*g*x)^(m - 1))/(x*(a*e^2 + c*d^2) + a*d*e + c*d*e*x
^2)^m,x)

[Out]

int(((d + e*x)^m*(c*d^2*e*g - e*g*(a*e^2 + c*d^2) - c*d*e^2*g*x)^(m - 1))/(x*(a*e^2 + c*d^2) + a*d*e + c*d*e*x
^2)^m, x)

________________________________________________________________________________________

sympy [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*x+d)**m*(c*d**2*e*g-e*(a*e**2+c*d**2)*g-c*d*e**2*g*x)**(-1+m)/((a*d*e+(a*e**2+c*d**2)*x+c*d*e*x**
2)**m),x)

[Out]

Timed out

________________________________________________________________________________________